keil添加PC-lint代码静态分析工具的方法

关注+星标公众号，不错过精彩内容

作者 | strongerHuang

微信公众号 | 嵌入式专栏

 /*lint !e750... */

有多少人认识这段代码注释？

回答这个问题，就要牵涉到本文说的PC-Lint这个工具。

1

写在前面

有一定编程经验的读者，应该在一些地方都看到过类似  /*lint !e750... */ 这种“注释”。

不知道有多少人去分析过它的含义呢？

比如：在FreeRTOS的tasks.c源码中有如下一行语句：

#undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE /*lint !e961 !e750. */

后面 /*lint !e961 !e750. */ 作用就是：在使用PC-Lint工具进行静态分析时，隐藏本行宏定义未被调用的“错误”。

换种方式理解：编译时，这条语句不出现警告信息（注意：这里是比喻为编译，其实是PC-Lint静态分析）。

2

关于PC-Lint

PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint for C/C++。

你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。

C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。

PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码等。

软件除错是软件项目开发成本和延误的主要因素，PC-lint能够帮你在程序动态测试之前发现编码错误，这样消除错误的成本更低。

1.错误代号

PC-Lint 能够检查出很多语法错误和语法上正确的逻辑错误，PC-Lint 为大部分错误消息都分配了一个错误代号：

这些错误号在文档中有详细说明：

2.命令格式

更多相关内容可以参考官网：

www.gimpel.com

3

Keil支持PC-Lint说明

在Keil官网有这样一段信息：

X PC-lint is a powerful static analysis tool that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have.

A C compiler cannot always detect each and every potential problem in your source files.

This is where PC-Lint comes in.

• Supports K&R C, ANSI C, and ANSI/ISO C++ standards

• Explicit support for MISRA C and MISRA C++ (Motor Industry Software Reliability Association) standards

• Value tracking of auto and static variables detects subtle initialization and value misuse problems

• Inter-function Value Tracking - powerful inter-statement value tracking crosses function boundaries

• Optional strong type checking (typedef-based) with a rich option set to detect nominal type differences

• User-defined semantic checking for function arguments and return values

Each of the Keil development tools, ARM, C51, C251, and C166, support Gimpel Software's PC-Lint. Configuration files are included in the Keil development tools which enable you to quickly and easily begin using PC-Lint in your application development and testing.

http://www.keil.com/pclint

大概意思就是Keil（ARM, C51, C251, and C166）支持PC-Lint，配置文件包含在Keil开发工具中，使您能够在应用程序开发和测试中快速轻松地开始使用PC-Lint。

还提供了一个例子：

示例代码：

C51编译输出结果：

执行PC-Lint输出：

示例程序列表（错误以突出显示），C51编译器输出和PC-Lint输出。当PC-Lint检测到并报告26个错误和警告时，C51编译器会检测并报告12个错误和警告。

4

Keil MDK添加PC-Lint的方法

在Keil MDK中要使用PC-Lint，大概需要以下两步：

• 安装PC-Lint
• MDK添加PC-Lint

1.安装PC-Lint

PC-Lint是一款收费的工具，大家可以网上搜索相关po解版本，相关安装很简单，这里不说明。

2.MDK添加PC-Lint

在MDK的帮助文档中，有相关添加和配置说明，我这里也简单说下。

A.菜单Tools -> Set-up PC-lint 进入配置界面（如上图）

B.添加lint-nt.exe

前提需要安装PC-Lint，指向安装路径下的lint-nt.exe。点击“...”即可添加（标记1）。

C.添加co-ARMCC-5.lnt

这个路径是MDK安装目录下面，可参看上图（标记2）。

D.MISRA 规则配置

这里参看帮助文档，选择MISRA_C_2012_Config （标记3）。

E.增加PC-Lint命令

例如，要禁止PC-lint输出的info 714消息，可以在此对话框中输入-e714 （标记4）。

当然，本文重点在于引导大家了解PC-Lint这个工具，想要运用PC-lint这个工具，还需要掌握更多相关规则、配置。

------------ END ------------

后台回复『Keil系列教程』『Keil实用小技巧』阅读更多相关文章。

欢迎关注我的公众号，回复“加群”按规则加入技术交流群，回复“1024”查看更多内容。

欢迎关注我的视频号：

点击“阅读原文”查看更多分享，欢迎点分享、收藏、点赞、在看。